Las fórmulas se generan en una estructura de clases propia de la herramienta (figura \ref{fig:umlform}). Esto nos permite tratar las fórmulas de forma independiente a cual será el lenguaje final utilizado para resolver las restricciones que representa.

\begin{figure}[h!]
  \centering
    \includegraphics[width=1.00\textwidth]{formula.png}
    \caption{Diagrama UML de la estructura utilizada para representar las fórmulas.}
    \label{fig:umlform}
\end{figure}


Su estructura es análoga a la presentada en la sección anterior. Así las fórmulas asociadas a una determinada relación son una colección de pares de expresiones y sustituciones de los atributos de estas relaciones por expresiones.

En estas fórmulas intervienen variables simbólicas, constantes y expresiones entre las mismas. Las variables simbólicas están tipadas y están identificadas por la tabla que las contiene, el atributo al que dan valor y la fila de la instancia simbólica a la que pertenecen.

En la siguiente sección se indica como se traducen estas fórmulas a lenguajes de programación con restricciones específicos.